nondeterminism相关论文
Let X = {X(t),t ∈ RN} be a Gaussian random field with values in Rd defined by X(t) =(X1(t),...,Xd(t)), t ∈ RN.(1) Th......
Nondeterministic Probabilistic Petri Net — A New Method to Study Qualitative and Quantitative Behavi
...
In this paper,we extend our previous results on detectability to nondeterministic discrete event systems.Many practical ......
分析了已有的面向Agent软件工程方法中Agent建模存在的问题,针对Agent的并发性和不确定性的特点,提出了采用具有不确定性和并发性特......
本文对非确定性的分布式系统的相容性测试提出一种新的方法,这种方法是经典的状态识别方法的一种扩展。我们提出了集合识别的概念,重......
阐述牛顿力学具有确定性不确定性的二象性或二重性。...
提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET^*(distributed program structure and event trace,revised version)。框架的主要功能是对分......
定义与研究两族函数数L.V和FL。定义这些类的方法是限制L.V的验证复杂性和FL的求值复杂性在L∈{P,UP,FewP,NP}之内,并且限制L.V的输出值个数在V∈{SV,PV,MV}之内。这些类之间......
消息日志是用于多进程、分布式系统中状态恢复的一种方法。本文针对传统的消息日志方法仅仅适用于确定性进程的局限性,提出一种新的......
Let X^H(u)(u)={X^H(u)(u);u∈R^N+}be linear multifractional stable sheets with index functional H(u),where H(u)=(H1(u),…......